(0 19 5)(1 20 10)(2 18 15)(3 9 7)(4 16 14)(6 12 8)(11 17 13)
ALLOWS (11/8)-SEQUENCE
1: (0 11 17)
(0 13 11 19 5)(1 20 10)(2 18 15)(3 9 7)(4 16 14)(6 12 8)(17)
2: (2 18 15)
(0 13 11 19 5)(1 20 10)(2)(3 9 7)(4 16 14)(6 12 8)(15)(17)(18)
3: (4 16 14)
(0 13 11 19 5)(1 20 10)(2)(3 9 7)(4)(6 12 8)(14)(15)(16)(17)(18)
4: (0 13 5)
(0)(1 20 10)(2)(3 9 7)(4)(5 11 19)(6 12 8)(13)(14)(15)(16)(17)(18)